Computer optimization - PDFSEARCH.IO - Document Search Engine

Computer optimization
Results: 3360

#	Item
811	Robust Solutions for Constraint Satisfaction and Optimization Emmanuel Hebrard and Brahim Hnich and Toby Walsh 12 Abstract. Super solutions are a mechanism to provide robustness to constraint programsThey are solu Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:32 Computing Constraint satisfaction problem Constraint satisfaction Local consistency Backtracking Optimization problem Mathematical optimization Min-conflicts algorithm Linear programming relaxation Constraint programming Software engineering Computer programming
812	The Quadratic Assignment Problem in Code Optimization for a Simple Universal Turing Machine Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-03-26 17:18:16 Theoretical computer science Computer science Computability theory Alan Turing Algorithm Tag system Finite-state machine Description number Read-only Turing machine Turing machine Theory of computation Models of computation
813	Solving Disjunctive Constraints for Interactive Graphical Applications Kim Marriott1 , Peter Moulder 1 , Peter J. Stuckey2 , and Alan Borning 3 3 Add to Reading List Source URL: constraints.cs.washington.edu Language: English - Date: 2001-09-10 14:24:26 Computer programming Computing Mathematical optimization Simplex algorithm Constraint satisfaction problem Slack variable Algorithm Cassowary Constraint satisfaction Constraint programming Operations research Software engineering
814	ICS 162 – Spring 2001 – Final Exam Name: Student ID: 1: Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2003-12-01 14:01:08 Applied mathematics Automata theory Models of computation Mathematical optimization NP Deterministic pushdown automaton Pushdown automaton P Complement Theoretical computer science Computational complexity theory Complexity classes
815	νZ - An Optimizing SMT Solver Nikolaj Bjørner1 , Anh-Dung Phan2 , and Lars Fleckenstein3 1 Microsoft Research, Redmond, WA, USA DTU Compute, Technical University of Denmark Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-01-22 06:10:53 Operations research Constraint programming Electronic design automation Formal methods NP-complete problems Satisfiability Modulo Theories Mathematical optimization Linear programming Boolean satisfiability problem Theoretical computer science Applied mathematics Mathematics
816	On Rank Aggregation of Multiple Orderings in Network Design Hadas Shachnai, Computer Science Dept., Technion, Haifa 32000, Israel Lisa Zhang, Bell Labs, Lucent Technologies, 600 Mountain Ave., Murray Hill, NJ 07974 Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-03-07 16:59:32 Complexity classes Mathematical optimization Structural complexity theory Conjectures Permutation NP Directed acyclic graph Optimization problem Approximation algorithm Theoretical computer science Computational complexity theory Applied mathematics
817	ENHANCING CBIR THROUGH FEATURE OPTIMIZATION, COMBINATION AND SELECTION Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2008-01-05 04:55:01 Vision Computer vision Statistical classification Content-based image retrieval Support vector machine Image retrieval Color histogram Information retrieval Histogram Statistics Artificial intelligence Image search
818	Evolving an Automatic Defect Classiﬁcation Tool Assaf Glazer1,2 and Moshe Sipper1 1 Dept. of Computer Science, Ben-Gurion University, Add to Reading List Source URL: www.cs.bgu.ac.il Language: English - Date: 2008-05-25 07:24:28 Cybernetics Operations research Computational statistics Neural networks Mathematical optimization Genetic algorithm Feature selection Algorithm Chromosome Applied mathematics Mathematics Statistics
819	Optimization and Engineering manuscript No. (will be inserted by the editor) The Optimization Test Environment Ferenc Domes · Martin Fuchs · Hermann Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2013-11-05 11:30:39 Mathematical optimization Applied mathematics Numerical software Computer algebra systems Mathematical modeling Linear programming KNITRO AIMMS CUTEr Operations research Numerical analysis Mathematical software
820	EE333 Microcontroller Engineering Oregon Tech Portland, Fall 2012 Homework Assignment #3 Due October 16 Some of the problems have been solved to act as examples. Check your work by assembling and using the simulator. Add to Reading List Source URL: www.almy.us Language: English - Date: 2012-07-15 17:54:03 Computer performance Lookup table Software optimization C++ classes Computing Computer programming Arrays

UPDATE